# Каждая линия имеет вид: <state1> -> <state2>
# Где <state> это: [Px,Qy,a,b]

# transition from the initial state where P is making a step
# [P1,Q1,0,0] -> [P2,Q1,1,0] - пример из начального состояния

[P1,Q1,0,0] -> [P2,Q1,1,0]
